A logic-based representation and tree-based visualization method for building regulatory requirements
نویسنده
چکیده
Background: Many research and development efforts have been made for automated compliance checking of building designs with regulatory requirements, but there is a lack of a non-proprietary and user-understandable representation of building regulations to support automated compliance checking in the construction domain that is experimentally tested for understandability and reading speed. Methods: This research investigates a logic-based representation and tree-based visualization method for building regulatory requirements. The logic-based representation is based on classic logic programming language and can directly support automated compliance checking. The tree-based visualization is expected to improve the understandability and reading speed of the logic-based representation. Therefore, this method attempts to add to the limited research in non-proprietary and user-understandable representation of building regulations that is experimentally tested for understandability and reading speed. To test the understandability and reading speed of regulatory requirements using this representation and visualization method, a survey was conducted to compare different representations, namely, text, logic-based, and tree-based. Results: Statistical analysis of the survey results shows that the proposed tree-based visualization method can significantly improve the understandability and reading speed of the logic-based regulatory requirement representation and this visualization method is at a comparable status with the original text representation of regulatory requirements in terms of understandability and reading speed. Conclusions: (1) The investigated logic-based representation and tree-based visualization method for regulatory requirements serves as one potential non-proprietary and user-understandable representation of building regulations; (2) this research shows that computable representations of regulatory requirements can achieve understandability and reading speed that are comparable to the original text representation through tree-based visualization; and (3) this research reveals that the tree-based visualization of regulatory requirements improves the understandability and reading speed of regulatory requirements when such use is compared to the computable logic-based representation.
منابع مشابه
مکانیابی محل ساخت پل با استفاده از فرآیند تحلیل سلسله مراتبی و منطق فازی در GIS
The selection of proper bridge sites across a river depends on many factors such as economic, transportation and geomorphology. In this paper, the best sites for bridge building are identified in a case study by using analytical hierarchy process (AHP) and fuzzy logic in GIS environment. First, the river is divided into a number of segments based on the similar characteristics, each of which ...
متن کاملModeling the potential of Sand and Dust Storm sources formation using time series of remote sensing data, fuzzy logic and artificial neural network (A Case study of Euphrates basin)
Due to the differences between the visible and thermal infrared images, the combination of these two types of images leads to better understanding of the characteristics of targets and the environment. Thermal infrared images are really in distinguishing targets from the background based on the radiation differences and land surface temperature (LST) calculation. However, their spatial resolu...
متن کاملTREE AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED LOGIC: REDUCTION ALGORITHM AND DECISION PROBLEMS
In this paper, at first we define the concepts of response function and accessible states of a complete residuated lattice-valued (for simplicity we write $mathcal{L}$-valued) tree automaton with a threshold $c.$ Then, related to these concepts, we prove some lemmas and theorems that are applied in considering some decision problems such as finiteness-value and emptiness-value of recognizable t...
متن کاملInformation Transformation and Automated Reasoning for Automated Compliance Checking in Construction
This paper presents a new approach for automated compliance checking in the construction domain. The approach utilizes semantic modeling, semantic Natural Language Processing (NLP) techniques (including text classification and information extraction), and logic reasoning to facilitate automated textual regulatory document analysis and processing for extracting requirements from these documents ...
متن کاملFuzzy Centroid-Based Method Applied to Customer Requirements Ranking in Diba Fiberglass Company
The purpose of this study is to introduce an application of fuzzy centroid-based approach to ranking the customer requirements using QFD with competition considerations for Diba Fiberglass, an Iranian Company. The illustrated approach, not only focuses on the normal fuzzy numbers, but also considers the non-normal fuzzy numbers to capture the true customer requirements. To this end, first, we p...
متن کامل